Category:David Harel

**David Harel**
	Israeli computer scientist
	Upload media
	Wikipedia
Date of birth	12 April 1950; London
Country of citizenship	Israel;
Educated at	Massachusetts Institute of Technology (Doctor of Philosophy, –1978);
Doctoral advisor	Vaughan Ronald Pratt; Albert R. Meyer;
Doctoral student	David Peleg; Danny Raz; Rafi Heiman; Ron Unger; Tirza Hirst; Yishai Feldman; Doron Drusinsky; Rivka Zarhy-Sherman; Yosee Feldman; Eli Singerman; Marelly Rami; Liran Carmel; Sol Efroni; Koren Yehuda; Hillel Kugler; Shahar Maoz;
Occupation	computer scientist; professor;
Employer	Weizmann Institute of Science (1980–);
Member of	Institute of Electrical and Electronics Engineers; Israel Academy of Sciences and Humanities; American Academy of Arts and Sciences; National Academy of Engineering; Association for Computing Machinery; Academia Europaea (AE section Informatics, 2006–); National Academy of Sciences (Foreign Associate of the National Academy of Sciences, 2019–); Royal Society (Fellow of the Royal Society, 2020–);
Field of work	computer science;
Work location	Weizmann Institute of Science;
Award received	Israel Prize (2004); ACM Software System Award (2007); Stevens Award (1996); ACM Fellow; IEEE Fellow; Fellow of the American Association for the Advancement of Science; Fellow of the American Academy of Arts and Sciences; The EMET Prize for Art, Science and Culture (2010); Fellow of the Royal Society (2020); Harlan D. Mills Award (2023);
	official website
Authority file
	Q2920599; ISNI: 0000000120188598; VIAF ID: 109353358; GND ID: 109527992; Library of Congress authority ID: n79038969; Bibliothèque nationale de France ID: 13023348j; IdRef ID: 057261210; NL CR AUT ID: mub2011643887; SELIBR ID: 225326; Nationale Thesaurus voor Auteursnamen ID: 074914235; NUKAT ID: n93080992; Libris-URI: b8nqs66v1zvqp1j; PLWABN ID: 9810661618705606; National Library of Israel J9U ID: 987007310081905171; SBN author ID: UFIV061445; ORCID iD: 0000-0001-7240-3931; Mathematics Genealogy Project ID: 18992
	Reasonator; Scholia; Wikidocumentaries; PetScan; statistics; WikiMap; Locator tool; KML file; Search depicted;